function a -> ()
